机译:将形式化方法集成到医疗软件开发中:ASM方法
机译:软件工程中的正式方法集成
机译:使用UML和Java将形式化方法集成到软件工程过程中
机译:汽车软件开发中的标准驱动方法 - 通过测试整合正式方法的概念
机译:探索适用于小型卫星软件系统的正式方法和工具。
机译:HOLON / CADSE:集成开放软件标准和正式方法以生成基于准则的决策支持代理。
机译:1994年蒙特利研讨会的论文集,增加了计算机辅助软件开发的正式方法的实际影响:大型软件系统的演化控制,用于集成软件开发环境的技术